(set-logic QF_LRA)
(declare-fun x () Real)
(assert (> 0 (* (- 1) x)))
(assert (> 0 (* 1 x)))
(assert (< (- 1) (* 0 x)))
(assert (> 0 (* (- 1) 2 x)))
(assert (> 0 (/ x (- 2))))
(assert (> 0 (- 1 2)))
(assert (> 0 (/ 1 0)))
(check-sat)
